home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / install.txt next >
Encoding:
Text File  |  1997-08-18  |  4.3 KB  |  118 lines  |  [TEXT/R*ch]
  1. This is file install.txt for Moscow ML 1.42 for Linux/Unix (July 1997)
  2.  
  3.  
  4. SYSTEM REQUIREMENTS
  5.  
  6. Moscow ML was compiled under Linux 2.0.12 with gcc 2.7.2, and requires
  7. 2 MB of RAM or more.  The installation requires 3 MB disk space.
  8.  
  9.  
  10. INSTALLING MOSCOW ML (BINARIES ONLY) UNDER LINUX
  11.  
  12. (1) For a personal installation, move to your home directory, and unpack
  13.     the Moscow ML distribution using 
  14.  
  15.     gzip -dc linux-mos14bin.tar.gz | tar xfv -
  16.  
  17.     This creates a directory ~/mosml with subdirectories 
  18.  
  19.     mosml/              readme, install.txt
  20.           bin/          mosml, mosmlc, mosmllex, mosmlyac, camlrunm
  21.           copyrght/     copyright notices
  22.           doc/          manual.dvi, mosmlref.dvi, ...
  23.           examples/     a few example programs
  24.           lib/          bytecode files and basis library units
  25.           tools/        mosmldep, Makefile.stub
  26.  
  27. (2) Edit the variables `stdlib' and `mosmlbin' in the scripts
  28.      mosml/bin/mosml
  29.     and     mosml/bin/mosmlc
  30.  
  31. (3) Edit the file mosml/lib/header to contain the absolute location of
  32.     the camlrunm runtime system (usually /home/foo/mosml/bin/camlrunm).
  33.  
  34. (4) Start Moscow ML by typing
  35.            mosml
  36.  
  37. To quit Moscow ML, type `quit();' or control-D.
  38.  
  39.  
  40. INSTALLING MOSCOW ML UNDER OTHER UNIXES
  41.  
  42. If you have Linux, DEC MIPS+Ultrix, HPPA+HP/UX, Sparc+SunOS,
  43. Sparc+Solaris, SGI MIPS+IRIX 5, DEC Alpha+OSF/1, and possibly other
  44. systems, then you can install Moscow ML as follows:
  45.  
  46. (1) choose a directory for the Moscow ML subdirectory to reside in,
  47.     such as /usr/local/ for a systemwide installation, or ${HOME}
  48.     for a personal installation.
  49.  
  50. (2) download the Unix source files from
  51.      ftp://ftp.dina.kvl.dk/pub/mosml/mos14src.tar.gz
  52.  
  53. (3) unpack it by executing (in /usr/local, or ${HOME})
  54.  
  55.         gzip -dc mos14src.tar.gz | tar xvf -
  56.  
  57. (4) change directory to mosml/src
  58.  
  59. (5) edit file mosml/src/Makefile.inc to suit your system.  Set
  60.     MOSMLHOME to /usr/local/mosml, or ${HOME}/mosml.  Also, the
  61.     versions of /lib/cpp differ amoung operating systems; choose a
  62.     suitable value of CPP for your system.
  63.  
  64. (6) execute (in mosml/src)
  65.  
  66.     make clean
  67.     make world
  68.     make install
  69.  
  70. (7) to check that the installation went well, you can try 
  71.      (7.1) * change directory to mosml/src/test 
  72.            * execute: mosml test.sml > result
  73.            * diff result result.ok
  74.      (7.2) * change directory to mosml/src/mosmllib/test 
  75.            * execute: mosml -P full test.sml > result
  76.            * diff result result.ok
  77.      Note that some of the test cases are suitable only for 32-bit 
  78.      architectures, and will fail on 64-bit architectures (such as DEC
  79.      Alpha); this does not necessarily indicate that the Moscow ML
  80.      implementation is wrong.
  81.  
  82.  
  83. EXTENT OF THE IMPLEMENTATION
  84.  
  85. The current version 1.42 of Moscow ML
  86.     * implements the Core language of Standard ML, as revised 1996
  87.     * implements large parts of the new SML Basis Library
  88.     * implements separate compilation and a limited version of the
  89.       Standard ML Modules language, with signatures and structures
  90.       but no functors
  91.     * can produce compact stand-alone executables (a la Caml Light)
  92.     * supports quotations and antiquotations, useful for metaprogramming
  93.     * includes several new libraries and a new type `char'
  94.  
  95.  
  96. AUTHOR AND CREDITS
  97.  
  98. Moscow ML was written by
  99.     Sergei Romanenko (roman@keldysh.ru)
  100.     Keldysh Institute of Applied Mathematics, Russian Academy of Sciences
  101.     Miusskaya Pl. 4, 125047 Moscow, Russia.
  102. and Peter Sestoft (sestoft@dina.kvl.dk),
  103.     Department of Mathematics and Physics, Royal Veterinary and
  104.     Agricultural University, Thorvaldsensvej 40, DK-1871 Frederiksberg C, 
  105.     Denmark.  Much of the work was done at the Technical University of
  106.     Denmark, and while visiting AT&T Bell Laboratories, New Jersey, USA.
  107.  
  108. Moscow ML owes much to:
  109.     * the CAML Light implementation by Xavier Leroy and Damien Doligez
  110.       (INRIA, Rocquencourt, France); especially the Caml Light bytecode
  111.       generator and the runtime system;
  112.     * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner
  113.       (Copenhagen University, Denmark, and Edinburgh University, Scotland);
  114.     * inspiration from the SML/NJ compiler developed at Princeton
  115.       University and AT&T Bell Laboratories, New Jersey, USA; and
  116.     * the good work by Doug Currie, Flavors Technology, USA, on the
  117.       MacOS port and many improvements.
  118.